TAGs: recursive formula